(∞, 1)-圏
→
(∞, 1)-category